Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

Yanjun Wen is associate professor at the Department of Computer Science and Technology, College of Computer, National University of Defense Technology, Changsha, P. R. China. He has visited the team from June 2011 to May 2012 and is interested in the static analysis of parallel software by abstract interpretation.

Roberto Giacobazzi, professor at the University of Verona, Italy, visited the Team in May 2012.

Michael Hicks is associate professor at the Department of Computer Science, University of Maryland, USA. He has visited the team in October 2012 and is interested in abstract interpretation, software security, and differential privacy.

Tatjana Petrov is a PhD student at ETH Zürich. She has visited the team in February 2012 and is interested in the model reduction of stochastic systems.

Internships

David Delmas is an engineer at Airbus France on educational leave to pursue the 2nd year of the Parisian Master of Research in Computer Science (MPRI). He has visited the team from September 2011 to August 2012.